Termination of the given ITRSProblem could not be shown:
↳ ITRS
ITRS problem:
The following domains are used:
z
The TRS R consists of the following rules:
cu(TRUE, x) → cu(<@z(x, 100000@z), +@z(x, 1@z))
The set Q consists of the following terms:
cu(TRUE, x0)